Books by author Zhiming Liu

Showing 1 – 20 out of 20 results

1. 

   Automated Technology for Verification and Analysis

   Zhiming Liu, Anders P. Ravn | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
2. 

   Theoretical Aspects of Computing - ICTAC 2022

   Helmut Seidl, Zhiming Liu, Corina S Pasareanu | Springer, Berlin, 2022

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
3. 

   Theoretical Aspects of Computing - ICTAC 2007

   Cliff B. Jones, Zhiming Liu, Jones Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
4. 

   Engineering Trustworthy Software Systems

   Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
5. 

   Theories of Programming and Formal Methods

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
6. 

   Engineering Trustworthy Software Systems

   Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   50.51 €

   Sale 9 %

   You save 5.39 €

   Buy
7. 

   Formal Methods and Hybrid Real-Time Systems

   Cliff B. Jones, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
8. 

   Foundations of Health Informatics Engineering and Systems

   Zhiming Liu, Alan Wassyng | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Paperback

   59.40 €

   Sale 0 %

   You save 0.05 €

   Buy
9. 

   Theoretical Aspects of Computing -- ICTAC 2013

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
10. 

    Formal Aspects of Component Software

    Jose Luiz Fiadeiro, Zhiming Liu, Jinyun Xue | Springer International Publishing AG, 2014

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.62 €

    Sale 7 %

    You save 4.28 €

    Buy
11. 

    Unifying Theories of Programming and Formal Engineering Methods

    Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.62 €

    Sale 7 %

    You save 4.28 €

    Buy
12. 

    Formal Methods and Software Engineering

    Zhiming Liu, Jifeng He | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.84 €

    Sale 7 %

    You save 8.61 €

    Buy
13. 

    Engineering Trustworthy Software Systems

    Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu | Springer, Berlin, 2025

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    50.51 €

    Sale 9 %

    You save 5.39 €

    Buy
14. 

    Engineering Trustworthy Software Systems

    Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2020

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    50.51 €

    Sale 9 %

    You save 5.39 €

    Buy
15. 

    Engineering Trustworthy Software Systems

    Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2019

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    58.49 €

    Sale 9 %

    You save 6.28 €

    Buy
16. 

    Dependable Software Engineering: Theories, Tools, and Applications

    Xuandong Li, Zhiming Liu, Wang Yi | Springer International Publishing AG, 2015

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    49.50 €

    Sale 7 %

    You save 4.17 €

    Buy
17. 

    Domain Modeling and the Duration Calculus

    Chris George, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

    
    

    Low in stock at our supplier - Shipping in 11 - 15 days

    Language: English

    Binding: Paperback

    55.76 €

    Buy
18. 

    Environmental Catalysis and Air Pollution Control

    Zhiming Liu, Chi He | MDPI AG, 2025

    
    

    In stock at our supplier - Shipping in 9 - 15 days

    Language: English

    Binding: Hardback

    58.69 €

    Sale 18 %

    You save 12.89 €

    Buy
19. 

    Theoretical Aspects of Computing - ICTAC 2004

    Zhiming Liu, Keijiro Araki | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.84 €

    Sale 7 %

    You save 8.61 €

    Buy
20. 

    Engineering Trustworthy Software Systems

    Zhiming Liu, Zili Zhang | Springer International Publishing AG, 2016

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.62 €

    Sale 7 %

    You save 4.28 €

    Buy

You can choose among many payment option. Find out more